485 research outputs found
Recommended from our members
Using a Requirements Modelling Language to Co-Design Intelligent Support for People Living with Dementia
Context and motivation: this research developed a new AI application to support people with dementia to maintain quality of life. Problem: the research explored methods for co-designing models of goals that users of an AI application will seek to achieve. Principal result: An effective co-design method for enabling domain experts to externalize and validate expertise about dementia care. Contribution: A co-design goal modelling method effective with dementia care workers, but still untested with experts in other domains
Proposed reference models for atomic oxygen in the terrestrial atmosphere
A provisional Atomic Oxygen Reference model was derived from average monthly ozone profiles and the MSIS-86 reference model atmosphere. The concentrations are presented in tabular form for the altitude range 40 to 130 km
Search of the Orion spur for continuous gravitational waves using a loosely coherent algorithm on data from LIGO interferometers
We report results of a wideband search for periodic gravitational waves from isolated neutron stars within the Orion spur towards both the inner and outer regions of our Galaxy. As gravitational waves interact very weakly with matter, the search is unimpeded by dust and concentrations of stars. One search disk (A) is 6.87° in diameter and centered on 20h10m54.71s+33°33′25.29′′, and the other (B) is 7.45° in diameter and centered on 8h35m20.61s−46°49′25.151′′. We explored the frequency range of 50–1500 Hz and frequency derivative from 0 to −5×10−9  Hz/s. A multistage, loosely coherentsearch program allowed probing more deeply than before in these two regions, while increasing coherence length with every stage. Rigorous follow-up parameters have winnowed the initial coincidence set to only 70 candidates, to be examined manually. None of those 70 candidates proved to be consistent with an isolated gravitational-wave emitter, and 95% confidence level upper limits were placed on continuous-wave strain amplitudes. Near 169 Hz we achieve our lowest 95% C.L. upper limit on the worst-case linearly polarized strain amplitude h0 of 6.3×10−25, while at the high end of our frequency range we achieve a worst-case upper limit of 3.4×10−24 for all polarizations and sky locations
Recommended from our members
Exploring the impact of software requirements on system-wide goals: a method using satisfaction arguments and i* goal modelling
This paper describes the application of requirements engineering concepts to support the analysis of the impact of new software systems on system-wide goals. Requirements on a new or revised software component of a socio-technical system not only have implications on the goals of the subsystem itself, but they also impact upon the goals of the existing integrated system. In industries such as air traffic management and healthcare, impacts need to be identified and demonstrated in order to assess concerns such as risk, safety, and accuracy. A method called PiLGRIM was developed which integrates means-end relationships within goal modelling with knowledge associated with the application domain. The relationship between domain knowledge and requirements, as described in a satisfaction argument, adds traceability rationale to help determine the impacts of new requirements across a network of heterogeneous actors. We report procedures that human analysts follow to use the concepts of satisfaction arguments in a software tool for i* goal modelling. Results were demonstrated using models and arguments developed in two case studies, each featuring a distinct socio-technical system – a new controlled airspace infringement detection tool for NATS (the UK's air navigation service provider), and a new version of the UK’s HIV/AIDS patient reporting system. Results provided evidence towards our claims that the conceptual integration of i* and satisfaction arguments is usable and useful to human analysts, and that the PiLGRIM impact analysis procedures and tool support are effective and scalable to model and analyse large and complex socio-technical systems
Recommended from our members
Computational alignment of goals and scenarios for complex systems
The purpose of requirements validation is to determine whether a large requirements set will lead to the achievement of system-related goals under different conditions - a task that needs automation if it is to be performed quickly and accurately. One reason for the current lack of software tools to undertake such validation is the absence of the computational mechanisms needed to associate scenario, system specification and goal analysis tools. Therefore, in this paper, we report first research experiments in developing these new capabilities, and demonstrate them with a non-trivial example associated with a Rolls Royce aircraft engine software component
Recommended from our members
Modelling the quality of life goals of people living with dementia
Although now well established, our information systems engineering theories and methods are applied only rarely in disciplines beyond systems development. This paper reports the application of the i* goal modelling language to describe the types of and relationships between quality of life goals of people living with dementia. Published social care frameworks to manage and improve the lives of people with dementia were reviewed to synthesize, for the first time, a comprehensive conceptual model of the types of goals of people living with dementia. This model was then refined in co-design workshops with experienced professional care workers. The conceptual model was used to construct automated reasoning capabilities in a new digital toolset that people with dementia can use for life planning
Recommended from our members
Developing and Evaluating Digital Creativity Support in Google Docs for Journalists
Although journalism is classified as one of the creative industries, there is little bespoke digital support for creative thinking by journalists. To fill the gap, this paper reports new research that led to the implementation and first evaluation of JUICE, a new digital prototype to support creative thinking by journalists during the early development of news stories. Emerging from a user centred design process, JUICE is implemented as a simple Add-on Sidebar and Dialog Box in Google Docs that a journalist can invoke when developing news stories. Interviews with experienced journalists were used to elicit 6 strategies that JUICE uses to guide its users to generate different angles on news stories using creative information searches and interactive creativity support. In this paper we describe the information search algorithm and new interactive support to create news stories with one of these strategies – the individual human angle on the story – then report a first evaluation of JUICE implemented with the algorithm and support during its use by journalism students. Results revealed that most of these student journalists were able use JUICE to generate new news stories with individual human angles in a short period of time, but still used established web search tools to collect more detailed information about the angle in order to write the story. Journalist feedback was used to improve the usability of JUICE and design new interactive features
Recommended from our members
A Requirements-Led Approach for Specifying QoS-Aware Service Choreographies: An Experience Report.
[Context and motivation] Choreographies are a form of service composition in which partner services interact in a global scenario without a single point of control. The absence of an explicitly specified orchestration requires changes to requirements practices to recognize the need to optimize software services choreography and monitoring for satisfaction with system requirements.
[Question/problem] We developed a requirements-led approach that aims to provide tools and processes to transform requirements expressed on service-based systems to QoS-aware choreography specifications.
[Principal ideas/results] The approach is used by domain experts to specify natural language requirements on a service-based system, and by choreography designers to adapt their models to satisfy requirements more effectively. Non-functional requirements are mapped to BPMN choreography diagrams as quality properties, using the Q4BPMN notation, that support analysis and monitoring facilities. [Contribution] We report the new integrated approach and provide lessons learned from applying it to a real-world example of dynamic taxi management
Recommended from our members
Evaluating An Information System To Provide Creative Guidance About Health-and-Safety In Manufacturing
Creativity’s importance to organizations and businesses is now recognized to be a precondition for both design and innovation. One strategy is to introduce new forms of information system that support human creative thinking by their employees. Most successful uses have been in professional disciplines in the creative industries such as design and theatre. This paper reports the design and evaluation of a new information system that was researched and developed to support human creativity in a non-creative industry – health-and-safety in a manufacturing plant. An established risk detection and resolution process in one plant was extended with the new system to support plant employees to think creatively about resolutions to health-and-safety risks. The new system was used in a manufacturing plant for over 3 months. Results revealed that a subset of the risk resolutions generated with the new system were more creative and more complete than risk resolutions generated without the system in a corresponding period. However, the employees needed more time than was available to generate more complete risk resolutions. The evaluation results led to coordinated changes to both the information system and work practices associated with it
- …